Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
41	An Empirical Evaluation of LFG-DOP Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, & Institute for Logic, Language and Computation, University of Amsterdam Abstract Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Linguistics Language Grammar Computational linguistics Natural language parsing Data-oriented parsing Discourse analysis Syntax Parsing Branching Probability distribution Text corpus
42	Singletons and Coreference Resolution Evaluation ¨ Sandra Kubler Indiana University Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2011-11-07 17:16:31 Computational linguistics Natural language processing Logic Coreference SemEval Linguistics Mereology Language
43	Generalization and Systematicity in Echo State Networks Stefan L. Frank () Institute for Logic, Language and Computation, University of Amsterdam Plantage Muidergracht 24, 1018 TV Amsterdam, The Neth Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2012-03-11 05:05:04 Artificial neural networks Cognition Computational neuroscience Cognitive science Applied mathematics Artificial intelligence Computational statistics Computational linguistics Language model Echo state network Recurrent neural network Connectionism
44	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication∗ Christoph Lenzen Nancy Lynch Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Edsger W. Dijkstra Algorithm Mathematical logic Theoretical computer science Time complexity Shortest path problem Asymptotically optimal algorithm Randomized algorithm
45	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
46	Wrong side of the tracks: Big Data and Protected Categories Simon DeDeo∗ June 23, 2016 Abstract Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2016-06-27 12:55:13 Science Formal sciences Philosophy Cybernetics Computational neuroscience Algorithm Mathematical logic Theoretical computer science Machine learning Causality Decision tree Artificial intelligence
47	SAC 1998 Paper Count Track Ada and Software Engineering (AD) AI and Computational Logic (AI) Biomedical Computing (BC) Classification System (CS) Add to Reading List Source URL: www.sigapp.org - Date: 2006-11-18 13:53:40
48	The Pennsylvania State University The Graduate School College of Earth and Mineral Sciences DOES TOPOLOGY PREDICT GEOGRAPHIC (2D) EVENT SEGMENTATION? Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2016-07-01 14:44:38 Knowledge representation Reasoning Logic Mathematics Computational topology Constraint programming Region connection calculus Mathematical logic Ontology Topology Image segmentation Topological space
49	A Computational Model of the Visual Oddity Task Andrew Lovett () Kate Lockwood () Kenneth Forbus () Qualitative Reasoning Group, Northwestern U Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-05 12:02:33 Feature detection Qualitative Reasoning Group Reasoning Analogy Feature Logic Cognition Philosophical logic
50	A Computational Model of the Visual Oddity Task Andrew Lovett () Kate Lockwood () Kenneth Forbus () Qualitative Reasoning Group, Northwestern U Add to Reading List Source URL: www.silccenter.org Language: English - Date: 2010-05-05 12:02:33 Feature detection Qualitative Reasoning Group Reasoning Analogy Feature Logic Cognition Philosophical logic

UPDATE